$\cdot$ =$>$ ${\it body}$(${\it value}$,${\it contvalue}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it body}$